Meta-environment and executable meta-language using smalltalk: an experience report

An executable meta-language for inductive definitions with binders

Making Speciications Executable { Using Iptes Meta-iv

This article discusses the extra eeort required to make speciications executable. With an origin in essential (but in general non-executable) speciication techniques and speciication language constructs the limitations of writing speciications in an executable language are discussed. The (executable) example speciications are written in IPTES Meta-IV which is a subset of BSI/VDM-SL.

Making specifications executable - Using IPTES Meta-IV

This article discusses the extra effort required to make specifications executable. With an origin in essential (but in general non-executable) specification techniques and specification language constructs the limitations of writing specifications in an executable language are discussed. The (executable) example specifications are written in IPTES Meta-IV which is a subset of BSI/VDM-SL.

Albedo A meta-object infrastructure for Smalltalk

Reflection in the object-oriented paradigm became prominent after the publication of Pattie Maes' thesis on Computational Reflection. In her thesis Maes provides a framework for introducing computational reflection into the object-oriented paradigm. Maes observed that "it must be said that the concept of reflection fits most naturally in the spirit of object-oriented programming". In an attempt...

An Executable Subset of Meta - IV with LooseSpeci cation

In ESPRIT project no. EP5570 called IPTES 1 a methodology and a supporting environment for incremental prototyping of embedded computer systems is developed. As a part of this prototyping tool an interpreter for an executable subset of a VDM dialect is developed. Based on a comparative study of diierent notations inspired by VDM we have now selected an executable subset of the BSI/VDM-SL 2 nota...